(0 17 3)(1 20 4)(2 19 16)(5 9 7)(6 14 13)(8 12 10)(11 18 15)
ALLOWS (11/8)-SEQUENCE
1: (3 13 17)
(0 17 6 14 13)(1 20 4)(2 19 16)(3)(5 9 7)(8 12 10)(11 18 15)
2: (11 18 15)
(0 17 6 14 13)(1 20 4)(2 19 16)(3)(5 9 7)(8 12 10)(11)(15)(18)
3: (0 17 6)
(0 14 13)(1 20 4)(2 19 16)(3)(5 9 7)(6)(8 12 10)(11)(15)(17)(18)
4: (1 20 4)
(0 14 13)(1)(2 19 16)(3)(4)(5 9 7)(6)(8 12 10)(11)(15)(17)(18)(20)